Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
131	2009 IEEE IEEE International International Symposium Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:38:01 Computer network security Boolean algebra Binary decision diagram Iptables Firewall Stateful firewall DMZ Boolean satisfiability problem True quantified Boolean formula Netfilter Computer network Distributed firewall
132	Binary Relations, Algebras, Games R Hirsch, I Hodkinson, M Jackson, S Mikulas and others March 11, 2015 1 Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2015-05-01 04:08:35 Algebra Mathematics Abstract algebra Algebraic logic Algebraic structures Boolean algebra Mathematical logic Semigroup theory Relation algebra Monoid Residuated Boolean algebra Heyting algebra
133	PDF Document Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:25:03 Mathematics Algebra Abstract algebra Boolean algebra Algebraic structures Constraint programming Electronic design automation Formal methods Boolean satisfiability problem DPLL algorithm Conjunctive normal form Propositional calculus
134	PDF Document Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2014-01-03 05:48:00 Algebra Mathematics Abstract algebra Semigroup theory Algebraic structures Monoid Semigroup Inverse element Commutative property Inverse semigroup Boolean algebra Quantale
135	3URFHHGLQJVRIWKHQG1RUWK$PHULFDQ&RQIHUHQFHRQ&KLQHVH/LQJXLVWLFV1$&&/ WKHWK,QWHUQDWLRQDO&RQIHUHQFHRQ &KLQHVH/LQJXLVWLFV,$&/9RO&OHPHQV/( &0//LXHGV+DUYDUG8QLYH Add to Reading List Source URL: naccl.osu.edu Language: English - Date: 2014-11-17 14:51:18 Negation Propositional calculus Semantics Mystery Auxiliary verb Copula Logic Linguistics Boolean algebra Grammar
136	Unbounded Proof-Length Speed-up in Deduction Modulo Guillaume Burel1 1 Universit´e Henri Poincar´e & LORIA2 Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:30:45 Propositional calculus Proof theory Logic in computer science Boolean algebra Formal systems Natural deduction Curry–Howard correspondence Sequent calculus Frege system Logic Mathematical logic Mathematics
137	Boolean Logic Building a Modern Computer From First Principles www.nand2tetris.org Elements of Computing Systems, Nisan & Schocken, MIT Press, www.nand2tetris.org , Chapter 1: Boolean Logic Add to Reading List Source URL: nand2tetris.org Language: English - Date: 2012-07-24 08:06:04 Mathematics Logic gates Digital circuits AND gate OR gate Boolean function Multiplexer Negated AND gate Boolean algebras canonically defined Mathematical logic Boolean algebra Algebraic logic
138	Wedding Boolean Solvers with Superposition: a Societal Reform Simon Cruanes École polytechnique and INRIA, 23 Avenue d’Italie, 75013 Paris, France https://who.rocq.inria.fr/Simon.Cruanes/ Add to Reading List Source URL: cedeela.fr Language: English - Date: 2015-03-03 04:50:17 NP-complete problems Logic in computer science Boolean algebra Electronic design automation Formal methods Satisfiability Modulo Theories Boolean satisfiability problem Solver Boolean data type Theoretical computer science Applied mathematics Mathematics
139	Alternative questions through focus alternatives in Mandarin Chinese Michael Yoshitaka Erlewine Massachusetts Institute of Technology 1 Introduction In this paper I discuss the syntax/semantics of alternative questions i Add to Reading List Source URL: mitcho.com Language: English - Date: 2015-01-03 16:19:44 Boolean algebra Mathematics Propositional calculus Logical connectives Human communication Yes–no question Logical disjunction Question A-not-A question Grammar Abstract algebra Linguistics
140	Canonical Ground Horn Theories Maria Paola Bonacina1⋆ and Nachum Dershowitz2 1 2 Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2015-06-10 13:20:13 Propositional calculus Boolean algebra Logic in computer science Semantics Mathematical proof Horn clause Negation Unification Interpretation Logic Mathematical logic Mathematics

UPDATE